Nuprl Definition : rcv-from-on
11,40
postcript
pdf
rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)
== band(rcv?(
r
); band((eqof(
dE
)(
e
,sender(
r
))); (eqof(
dL
)(
l
,link(
r
)))))
latex
clarification:
rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)
== band(rcv?(
info
;
r
); band((eqof(
dE
)(
e
,sender(
info
;
r
))); (eqof(
dL
)(
l
,link(
info
;
r
)))))
latex
Definitions
rcv?(
e
)
,
band(
p
;
q
)
,
sender(
e
)
,
f
(
a
)
,
eqof(
d
)
,
link(
e
)
FDL editor aliases
rcv-from-on
origin